Dynamic program analysis - PDFSEARCH.IO - Document Search Engine

Dynamic program analysis
Results: 117

#	Item
111	Iowa Leading Indicators Index May 2013 Report Tax Research and Program Analysis Section Released July 2, 2013 The Iowa Leading Indicators Index (ILII) increased to[removed]=1999) in May[removed]The Iowa nonfarm employmen Add to Reading List Source URL: www.iowa.gov Language: English - Date: 2013-07-02 10:20:08 Macroeconomics Recessions Iowa Unemployment Futures contract Dynamic factor Stock market index Index Capitalization-weighted index Economics Econometrics Economic indicator
112	SOLUTIONS * IDEAS * SOLUTIONS * IDEAS Project Management Add to Reading List Source URL: www.businessballs.com Language: English - Date: 2007-12-06 12:51:36 Technology Program management PRINCE2 Project governance Project stakeholder Stakeholder analysis Project manager Systems engineering process Dynamic systems development method Project management Management Business
113	An Efficiently Solvable Quadratic Program for Stabilizing Dynamic Locomotion Scott Kuindersma, Frank Permenter, and Russ Tedrake Abstract— We describe a whole-body dynamic walking controller implemented as a convex qua Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2014-02-25 14:58:51 Control theory Quadratic programming Optimal control Model predictive control Convex optimization Humanoid robot Active set Trajectory optimization Zero moment point Mathematical optimization Systems theory Mathematical analysis
114	Tools For JavaScript, Based On Static Analysis And Processing Kirill Cherkashin & Tsering Shrestha Javascript is a dynamic language Add to Reading List Source URL: kcherkashin.org Language: English - Date: 2014-05-06 19:52:31 Cross-platform software Program analysis Type theory JavaScript Type system Dynamic programming language Static program analysis Java C Computing Software engineering Programming language theory
115	Program Analysis with Dynamic Precision Adjustment ∗ Dirk Beyer Simon Fraser University, Canada Thomas A. Henzinger EPFL, Switzerland Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Formal methods Mathematical logic Function Predicate transformer semantics Floating point Abstract interpretation Predicate Quantification Prime-counting function Mathematics Logic Semantics
116	STATIC VERIFICATION OF DYNAMIC PROPERTIES Dr. Alain Deutsch Chief Technical Officer Add to Reading List Source URL: nesl.ee.ucla.edu Language: English - Date: 2005-10-01 21:19:04 Polyspace Program analysis Software testing Ada Programming language Formal methods Logic in computer science Static program analysis Dynamic program analysis Computing Software engineering Programming language theory

UPDATE